What can you verify and enforce at runtime?
نویسندگان
چکیده
منابع مشابه
Model Check What You Can, Runtime Verify the Rest
Model checking and runtime verification are pillars of formal verification but for the most part are used independently. In this position paper we argue that the formal verification community would be well-served by developing theory, algorithms, implementations, and applications that combine model checking and runtime verification into a single, seamless technology. This technology would allow...
متن کاملYou Should Better Enforce Than Verify
This tutorial deals with runtime enforcement and advocates its use as an extension of runtime verification. While research efforts in runtime verification have been mainly concerned with detection of misbehaviors and acknowledgement of desired behaviors, runtime enforcement aims mainly to circumvent misbehaviors of systems and to guarantee desired behaviors. First, we propose a comparison betwe...
متن کاملWhat Agents Can Probably Enforce
Alternating-time Temporal Logic (ATL) is probably the most influential logic of strategic ability that has emerged in recent years. The idea of ATL is centered around cooperation modalities: 〈〈A〉〉γ is satisfied if the group A of agents has a collective strategy to enforce temporal property γ against the worst possible response from the other agents. So, the semantics of ATL shares the “all-or-n...
متن کاملJust test what you cannot verify ! 1
Software verification is an established method to ensure software safety. Nevertheless, verification still often fails, either because it consumes too much resources, e.g., time or memory, or the technique is not mature enough to verify the property. Often then discarding the partial verification, the validation process proceeds with techniques like testing. To enable standard testing to profit...
متن کاملWhat else can you expect at www.erj.ersjournals.com?
W hat can you expect from the European Respiratory Journal (ERJ) in 2007? As we are all aware, the developments in respiratory science and medicine are more dynamic than ever. Scientific communication has become global and almost instantaneous, and as the Chief Editors we feel that it is our duty to present the ERJ to you as one of the main platforms highlighting the increasing advancements in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2011
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-011-0196-8